#include "typedef.h"

u32 power(u32, u32);
